State Equations in Stochastic Process Algebra Models
نویسندگان
چکیده
منابع مشابه
Symbolic Minimisation of Stochastic Process Algebra Models
Stochastic process algebras have been introduced in order to enable compositional performance analysis. The size of the state space is a limiting factor, especially if the system consists of many cooperating components. To fight state space explosion, compositional aggregation based on congruence relations can be applied. This paper addresses the computational complexity of minimisation algorit...
متن کاملScalable Analysis of Stochastic Process Algebra Models
The performance modelling of large-scale systems using discrete-state approaches is fundamentally hampered by the well-known problem of state-space explosion, which causes exponential growth of the reachable state space as a function of the number of the components which constitute the model. Because they are mapped onto continuous-time Markov chains (CTMCs), models described in the stochastic ...
متن کاملTime Scale Decomposition of Stochastic Process Algebra Models
Realistic models of computer and communication systems result in large, complex performance models. Compositionality, offered by stochastic process algebra constructs a model from submodels which are smaller and more tractable. We present a technique to exploit this structure in order to enhance the solution of the model by decomposition of the underlying Markov process. The decomposition under...
متن کاملIntegrated Analysis from Abstract Stochastic Process Algebra Models
view Stochastic Simulation individual view Abstract Bio-PEPA model Fig. 1. Alternative modelling approaches: a single Bio-PEPA description of a system may be used to derive alternative mathematical representations o ering di erent analysis possibilities In contrast, biologists often take a population-based view of cellular systems, representing them as systems of ordinary di erential equations ...
متن کاملFundamental Results on Fluid Approximations of Stochastic Process Algebra Models
In order to avoid the state space explosion problem encountered in the quantitative analysis of large scale PEPA models, a fluid approximation approach has recently been proposed, which results in a set of ordinary differential equations (ODEs) to approximate the underlying continuous time Markov chain (CTMC). This paper presents a mapping semantics from PEPA to ODEs based on a numerical repres...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2902472